projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d91bb3) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Tue, 19 Sep 2023 23:00:36 +0000 (00:00 +0100)
committerRaspbian forward porter <root@raspbian.org>
Tue, 19 Sep 2023 23:00:36 +0000 (00:00 +0100)
commitbbf1c29e0786bbeb01e8ab478be5e272723f6145
tree0cccc070ab420946c69623c5b3ad9206f3145a44tree | snapshot
parent4d91bb3de7c10e13a22b0fada8618d0a752a934acommit | diff
Do not emit a warning if the .haddock file is missing

As it is quite common on Debian installations to install the -dev package
without the -doc package.

Gbp-Pq: Name no-missing-haddock-file-warning
utils/ghc-pkg/Main.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.